Search Results

Safety-critical embedded software has to satisfy stringent quality requirements. One such requirement, imposed by all contemporary safety standards, is that no critical run-time errors must occur. Runtime errors can be caused by undefined or unspecified behavior of the programming language; examples are buffer overflows or data races. They may cause erroneous or erratic behavior, induce system failures, and constitute security vulnerabilities. A sound static analyzer reports all such defects in the code, or proves their absence. Sound static program analysis is a verification technique recommended by ISO/FDIS 26262 for software unit verification and for the verification of software integration. In this article we propose an analysis methodology that has been implemented with the static analyzer Astrée. It supports quick turn-around times and gives highly precise whole-program results.

Motorized two wheelers, also known as powered two wheelers (PTW) are the most common mode of transportation in India. Around one in four deaths that occurred on the roads in India in 2012 involved a motorcyclist, according to Ministry of Road Transport and Highways. This constitutes the highest contributor for fatal accidents in India [1]. The European Transport Safety Council (ETSC) analysis shows the risk of a motorcyclist having a fatal accident is 20 times greater than for a car driver travelling the same route [2]. An investigation conducted by Bosch looked at the accident database of Road Accident Sampling System for India (RASSI). This investigation revealed interesting facts about the Indian motorcycle accident situation, such as root causes of powered two wheeler collisions and riders behaviour including their braking patterns during the pre-crash phase of the accident.

In the year of 2012 in India the total number of accidents with injuries is registered by Ministry of Road Transport and Highway with 490,383 out of which injured people are 509,667 and fatalities are 138,258 [1]. Nearly 17% of the fatalities are occupants of passenger cars which constitute the second highest contributor for fatal accidents in India [1]. In order to understand the root causes for car accidents in India, Bosch accident research carried out a study based on in-depth accidents collected in India. Apart from other accident contributing factors e.g. infrastructure the driver behaviour and his actions few milliseconds just prior to the crash is an extremely important and a key valuable data for the understanding of accident causation. Further on it supports also the development of modern automotive safety functions. Hence this research was undertaken to evaluate the benefit of the state-of-the art vehicle safety systems known as Antilock Braking System (ABS).

Large Eddy Simulations (LES) and tracer-based Laser-Induced Fluorescence (LIF) measurements were performed to study the dynamics of fuel wall-films on the piston top of an optically accessible, four-valve pent-roof GDI research engine for a total of eight operating conditions. Starting from a reference point, the systematic variations include changes in engine speed (600; 1,200 and 2,000 RPM) and load (1000 and 500 mbar intake pressure); concerning the fuel path the Start Of Injection (SOI=360°, 390° and 420° CA after gas exchange TDC) as well as the injection pressure (10, 20 and 35 MPa) were varied. For each condition, 40 experimental images were acquired phase-locked at 10° CA intervals after SOI, showing the wall-film dynamics in terms of spatial extent, thickness and temperature.

For electric vehicles the ability for regenerative braking reduces the use of friction brakes. Particularly on the rear axle of vehicles with reduced dynamic requirements such as urban vehicles, this can offer a potential for downsizing or, in extreme cases, even the elimination of the friction brakes on the rear axle. Due to the fact that the rear axle service brakes also represent the typical parking brake location in SoA (State-of-Art) vehicles, a rigorous rethinking of the parking brake concept is necessary to incorporate safe vehicle standstill management for such novel brake system topology. This research study introduces a novel parking brake design that covers SoA but also legal requirements while retaining potentials associated with the elimination of the rear service brakes such as cost and packaging.

VDC is a new active safety system for road vehicles which controls the dynamic vehicle motion in emergency situations. From the steering angle, the accelerator pedal position and the brake pressure the desired motion is derived while the actual vehicle motion is derived from the yaw rate and the lateral acceleration. The system regulates the engine torque and the wheel brake pressures using traction control components to minimize the difference between the actual and the desired motion. Included is also a safety concept which supervises the proper operation of the components and the software.